首页> 外文OA文献 >Application of Static Analyses for State-Space Reduction to the Microcontroller Binary Code

【2h】

Application of Static Analyses for State-Space Reduction to the Microcontroller Binary Code

机译：状态空间归一化静态分析在微控制器二进制代码中的应用

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Schlich, Bastian; Brauer, Jörg; Kowalewski, Stefan;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Application of static analyses for state-space reduction to the microcontroller binary code [J] . Bastian Schlich, Joerg Brauer, Stefan Kowalewski Science of Computer Programming . 2011,第2期

机译：用于状态空间缩减的静态分析在微控制器二进制代码中的应用
2. Speckle reduction in line scan laser display system by static diffuser with 2D binary code [J] . 高文宏, 马树元, 陈旭远中国光学快报：英文版 . 2012,第B06期

机译：带有二维二进制代码的静态扩散器减少线扫描激光显示系统中的斑点
3. Static Analysis for State-Space Reductions Preserving Temporal Logics [J] . KAREN YORAV, ORNA GRUMBERG Formal Methods in System Design . 2004,第1期

机译：状态空间归约保留时间逻辑的静态分析
4. Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code [C] . Bastian Schlich, Jann Loll, Stefan Kowalewski International Workshop on Formal Methods for Industrial Critical Systems . 2008

机译：在微控制器汇编代码中的应用静态分析
5. Static analysis of binary code to detect memory leaks. [D] . Khisti, Shrirang Pradip. 2008

机译：静态分析二进制代码以检测内存泄漏。
6. On State-Space Reduction in Multi-Strain Pathogen Models with an Application to Antigenic Drift in Influenza A [O] . Sergey Kryazhimskiy, Ulf Dieckmann, Simon A Levin, 2007

机译：多菌株病原体模型中状态空间的减少及其在甲型流感病毒抗原漂移中的应用
7. Application of static analyses for state-space reduction to the microcontroller binary code [O] . Schlich Bastian, Brauer Jörg, Kowalewski Stefan 2011

机译：用于状态空间缩减的静态分析在微控制器二进制代码中的应用

Application of Static Analyses for State-Space Reduction to the Microcontroller Binary Code

著录项

引文网络

相似文献

相关主题

期刊订阅